See Polish notation on Wiktionary
{
"etymology_text": "After the nationality of the logician Jan Łukasiewicz",
"head_templates": [
{
"args": {
"1": "-"
},
"expansion": "Polish notation (uncountable)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Czech translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Greek translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Japanese translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Mandarin translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Polish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Portuguese translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Romanian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Russian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Spanish translations",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Arithmetic",
"orig": "en:Arithmetic",
"parents": [
"Applied sciences",
"Mathematics",
"Sciences",
"Formal sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Logic",
"orig": "en:Logic",
"parents": [
"Formal sciences",
"Philosophy",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"examples": [
{
"ref": "2009, Brandon C. Look, “Symbolic Logic II, Lecture 6”, in www.uky.edu/~look, archived from the original on 2011-11-09:",
"text": "In Polish Notation, the connectives are placed before the wffs. The virtue of this sentence is that its grammar is simpler, for it has no need for parentheses. Sider’s examples: (P ∧ Q) → R and P ∧ (Q → R) become → ∧PQR and ∧P → QR.\nIf you actually look at a text in this tradition, you’ll find something slightly different. “C” stands for “consequence”, i.e., implication (→) and “N” for negation (∼).\nSo,consider the following from Tarski and Łukasiewicz’s Investigations into the Sentential Calculus. The claim there is that there are three axioms:\n ‘CCpqCCqrCpr’\n ‘CCNppp’\n ‘CpCNpq’",
"type": "quote"
}
],
"glosses": [
"A notation for arithmetic (and logical) formulae in which operations (respectively, quantifiers and operands) are written immediately before their operands, used to avoid the need for parentheses; for example, 3 * (4 + 7) is written as * 3 + 4 7 and A AND B is written as AND A B."
],
"id": "en-Polish_notation-en-noun-gqlkqHsj",
"links": [
[
"arithmetic",
"arithmetic"
],
[
"logic",
"logic"
],
[
"logical",
"logical"
],
[
"formula",
"formula"
],
[
"operation",
"operation"
],
[
"quantifier",
"quantifier"
],
[
"operand",
"operand"
],
[
"parentheses",
"parentheses"
],
[
"AND",
"AND"
]
],
"raw_glosses": [
"(arithmetic, logic) A notation for arithmetic (and logical) formulae in which operations (respectively, quantifiers and operands) are written immediately before their operands, used to avoid the need for parentheses; for example, 3 * (4 + 7) is written as * 3 + 4 7 and A AND B is written as AND A B."
],
"related": [
{
"word": "infix notation"
},
{
"word": "postfix notation"
},
{
"word": "reverse Polish notation"
}
],
"synonyms": [
{
"word": "prefix notation"
}
],
"tags": [
"uncountable"
],
"topics": [
"arithmetic",
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
],
"translations": [
{
"code": "cmn",
"lang": "Chinese Mandarin",
"sense": "notation for arithmetic formulae",
"word": "波蘭表示法"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "Bōlán biǎoshìfǎ",
"sense": "notation for arithmetic formulae",
"word": "波兰表示法"
},
{
"code": "cs",
"lang": "Czech",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "polská notace"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "notation for arithmetic formulae",
"word": "puolalainen notaatio"
},
{
"code": "fr",
"lang": "French",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "notation polonaise"
},
{
"code": "de",
"lang": "German",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "Polnische Notation"
},
{
"code": "el",
"lang": "Greek",
"roman": "polonikós symvolismós",
"sense": "notation for arithmetic formulae",
"tags": [
"masculine"
],
"word": "πολωνικός συμβολισμός"
},
{
"code": "ja",
"lang": "Japanese",
"roman": "Pōrando-kihō",
"sense": "notation for arithmetic formulae",
"word": "ポーランド記法"
},
{
"code": "pl",
"lang": "Polish",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "Notacja polska"
},
{
"code": "pt",
"lang": "Portuguese",
"sense": "notation for arithmetic formulae",
"word": "notação polonesa"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "notație poloneză"
},
{
"code": "ru",
"lang": "Russian",
"roman": "pólʹskaja notácija",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "по́льская нота́ция"
},
{
"code": "es",
"lang": "Spanish",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "notación polaca"
}
],
"wikipedia": [
"Polish notation"
]
}
],
"word": "Polish notation"
}
{
"etymology_text": "After the nationality of the logician Jan Łukasiewicz",
"head_templates": [
{
"args": {
"1": "-"
},
"expansion": "Polish notation (uncountable)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"related": [
{
"word": "infix notation"
},
{
"word": "postfix notation"
},
{
"word": "reverse Polish notation"
}
],
"senses": [
{
"categories": [
"English entries with incorrect language header",
"English lemmas",
"English multiword terms",
"English nouns",
"English terms with quotations",
"English uncountable nouns",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Terms with Czech translations",
"Terms with Finnish translations",
"Terms with French translations",
"Terms with German translations",
"Terms with Greek translations",
"Terms with Japanese translations",
"Terms with Mandarin translations",
"Terms with Polish translations",
"Terms with Portuguese translations",
"Terms with Romanian translations",
"Terms with Russian translations",
"Terms with Spanish translations",
"en:Arithmetic",
"en:Logic"
],
"examples": [
{
"ref": "2009, Brandon C. Look, “Symbolic Logic II, Lecture 6”, in www.uky.edu/~look, archived from the original on 2011-11-09:",
"text": "In Polish Notation, the connectives are placed before the wffs. The virtue of this sentence is that its grammar is simpler, for it has no need for parentheses. Sider’s examples: (P ∧ Q) → R and P ∧ (Q → R) become → ∧PQR and ∧P → QR.\nIf you actually look at a text in this tradition, you’ll find something slightly different. “C” stands for “consequence”, i.e., implication (→) and “N” for negation (∼).\nSo,consider the following from Tarski and Łukasiewicz’s Investigations into the Sentential Calculus. The claim there is that there are three axioms:\n ‘CCpqCCqrCpr’\n ‘CCNppp’\n ‘CpCNpq’",
"type": "quote"
}
],
"glosses": [
"A notation for arithmetic (and logical) formulae in which operations (respectively, quantifiers and operands) are written immediately before their operands, used to avoid the need for parentheses; for example, 3 * (4 + 7) is written as * 3 + 4 7 and A AND B is written as AND A B."
],
"links": [
[
"arithmetic",
"arithmetic"
],
[
"logic",
"logic"
],
[
"logical",
"logical"
],
[
"formula",
"formula"
],
[
"operation",
"operation"
],
[
"quantifier",
"quantifier"
],
[
"operand",
"operand"
],
[
"parentheses",
"parentheses"
],
[
"AND",
"AND"
]
],
"raw_glosses": [
"(arithmetic, logic) A notation for arithmetic (and logical) formulae in which operations (respectively, quantifiers and operands) are written immediately before their operands, used to avoid the need for parentheses; for example, 3 * (4 + 7) is written as * 3 + 4 7 and A AND B is written as AND A B."
],
"tags": [
"uncountable"
],
"topics": [
"arithmetic",
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
],
"wikipedia": [
"Polish notation"
]
}
],
"synonyms": [
{
"word": "prefix notation"
}
],
"translations": [
{
"code": "cmn",
"lang": "Chinese Mandarin",
"sense": "notation for arithmetic formulae",
"word": "波蘭表示法"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "Bōlán biǎoshìfǎ",
"sense": "notation for arithmetic formulae",
"word": "波兰表示法"
},
{
"code": "cs",
"lang": "Czech",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "polská notace"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "notation for arithmetic formulae",
"word": "puolalainen notaatio"
},
{
"code": "fr",
"lang": "French",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "notation polonaise"
},
{
"code": "de",
"lang": "German",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "Polnische Notation"
},
{
"code": "el",
"lang": "Greek",
"roman": "polonikós symvolismós",
"sense": "notation for arithmetic formulae",
"tags": [
"masculine"
],
"word": "πολωνικός συμβολισμός"
},
{
"code": "ja",
"lang": "Japanese",
"roman": "Pōrando-kihō",
"sense": "notation for arithmetic formulae",
"word": "ポーランド記法"
},
{
"code": "pl",
"lang": "Polish",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "Notacja polska"
},
{
"code": "pt",
"lang": "Portuguese",
"sense": "notation for arithmetic formulae",
"word": "notação polonesa"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "notație poloneză"
},
{
"code": "ru",
"lang": "Russian",
"roman": "pólʹskaja notácija",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "по́льская нота́ция"
},
{
"code": "es",
"lang": "Spanish",
"sense": "notation for arithmetic formulae",
"tags": [
"feminine"
],
"word": "notación polaca"
}
],
"word": "Polish notation"
}
Download raw JSONL data for Polish notation meaning in All languages combined (4.7kB)
{
"called_from": "page/1412",
"msg": "gloss may contain unhandled list items: A notation for arithmetic (and logical) formulae in which operations (respectively, quantifiers and operands) are written immediately before their operands, used to avoid the need for parentheses; for example, 3 * (4 + 7) is written as * 3 + 4 7 and A AND B is written as AND A B.",
"path": [
"Polish notation"
],
"section": "English",
"subsection": "noun",
"title": "Polish notation",
"trace": ""
}
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-11-06 from the enwiktionary dump dated 2024-10-02 using wiktextract (fbeafe8 and 7f03c9b). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.